Noncommutativity relations in type IIB theory and their supersymmetry

In the present paper we investigate noncommutativity of $D9$ and $D5$-brane world-volumes embedded in space-time of type IIB superstring theory. Boundary conditions, which preserve half of the initial supersymmetry, are treated as canonical constraints. Solving the constraints we obtain original coordinates in terms of the effective coordinates and momenta. Presence of momenta induces noncommutativity of string endpoints. We show that noncommutativity relations are connected by N=1 supersymmetry transformations and noncommutativity parameters are components of N=1 supermultiplet

Bearing-only acoustic tracking of moving speakers for robot audition

This paper focuses on speaker tracking in robot audition for human-robot interaction. Using only acoustic signals, speaker tracking in enclosed spaces is subject to missing detections and spurious clutter measurements due to speech inactivity, reverberation and interference. Furthermore, many acoustic localization approaches estimate speaker direction, hence providing bearing-only measurements without range information. This paper presents a probability hypothesis density (PHD) tracker that augments the bearing-only speaker directions of arrival with a cloud of range hypotheses at speaker initiation and propagates the random variates through time. Furthermore, due to their formulation PHD filters explicitly model, and hence provide robustness against, clutter and missing detections. The approach is verified using experimental results

User-driven design of robot costume for child-robot interactions among children with cognitive impairment

The involvement of arts and psychology elements in robotics research for children with cognitive impairment is still limited. However, the combination of robots, arts, psychology and education in the development of robots could significantly contribute to the improvement of social interaction skills among children with cognitive impairment. In this article, we would like to share our work on building and innovating the costume of LUCA's robot, which incorporating the positive psychological perspectives and arts values for children with cognitive impairment. Our goals are (1) to educate arts students in secondary arts school on the importance of social robot appearance for children with cognitive impairment, and (2) to select the best costume for future child-robot interaction study with children with cognitive impairments

A review of the factors involved in older people's decision making with regard to influenza vaccination: a literature review

Aims and objectives. The aim of this paper was to develop an understanding of the factors involved in older people's decision making with regard to influenza vaccination to inform strategies to improve vaccine uptake and reduce morbidity and mortality. Background. Influenza is a major cause of morbidity and mortality world-wide. In the UK, it accounts for 3000–6000 deaths annually; 85% of these deaths are people aged 65 and over. Despite this, and the widespread and costly annual government campaigns, some older people at risk of influenza and the associated complications remain reluctant to take advantage of the offer of vaccination. Methods. A review of the English language literature referring to older people published between 1996 and 2005 was the method used. Inclusion and exclusion criteria were identified and applied. Results. The majority of the literature was quantitative in nature, investigating personal characteristics thought to be predictors of uptake, such as age, sex, co-morbidity, educational level, income and area of residence. However, there was little discussion of the possible reasons for the significance of these factors and conflict between findings was often evident, particularly between studies employing different methodologies. Other factors identified were prior experience, concerns about the vaccine, perceived risk and advice and information. Relevance to clinical practice. The wealth of demographic information available will be useful at a strategic level in targeting groups identified as being unlikely to accept vaccination. However, the promotion of person-centred ways of working that value the health beliefs, attitudes, perceptions and subjective experiences of older people is likely to be more successful during individual encounters designed to promote acceptance. Without more research in investigating these concepts, our understanding is inevitably limited

Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Gum-feeder as environmental enrichment for marmosets and tamarins

Tamarins and marmosets are small‐bodied social callitrichines. Wild callitrichines feed on exudates, such as sap and gum; particularly, marmosets are mainly gummivores, while tamarins consume gums only occasionally and opportunistically. Zoo marmosets and tamarins are usually provided with gum arabic as an alternative to the exudates normally found in the wild. The aim of this study was to evaluate the effects of a gum feeder on the behavior and well‐being of four zoo‐managed callitrichines. We studied four cotton‐top tamarins (Saguinus oedipus), four red‐handed tamarins (S. midas), two pygmy marmosets (Cebuella pygmaea), and three Geoffroy's marmosets (Callithrix geoffroyi) housed at Parco Natura Viva (Italy). We conducted the study over two different periods, a baseline (control, without the gum feeder) and then a gum feeder (when the gum feeder was provided) period. We used continuous focal animal sampling to collect behavioral data, including durations of social and individual behaviors. We collected 240 min of observations per period per study subject, with a total of 3,120 min for all the subjects in the same period and of 6,240 min in both periods. We analyzed data by using nonparametric statistical tests. First, we found that the gum feeder promoted species‐specific behaviors, such as exploration, and diminished self‐directed behaviors, suggesting an enriching effect on tamarin and marmoset behavior. Moreover, in red‐handed tamarins, the provision of the gum feeder reduced the performance of self‐directed and abnormal behavior, specifically coprophagy. These results confirm that gum feeders are effective foraging enrichment tools for zoo marmosets and tamarins

Multimodal imaging of a vascularized idiopathic epiretinal membrane

PURPOSE: To report a case of vascularized idiopathic epiretinal membrane including the multimodal imaging. METHODS: Findings on clinical examination, color fundus photography, spectral-domain optical coherence tomography, optical coherence tomography angiography, and fluorescein angiography. RESULTS: Sixty-three-year-old woman with a previous rhegmatogenous retinal detachment (RRD) who presented with an asymptomatic idiopathic neovascular complex below an epiretinal membrane. It was assessed with fluorescein angiography, OCT and OCT-A. The vascularized ERM was already present previously to the retinal detachment. CONCLUSION: Our case report describes an example of idiopathic epiretinal membrane complicated by neovascularization; we hypothesized hypertension could be one of the factors in this case, as it may lead to decreased retinal perfusion and upregulation in vascular endothelial growth factor (VEGF). Multimodal imaging can help in detecting neovascularized ERM

Buckling Instabilities of a Confined Colloid Crystal Layer

A model predicting the structure of repulsive, spherically symmetric, monodisperse particles confined between two walls is presented. We study the buckling transition of a single flat layer as the double layer state develops. Experimental realizations of this model are suspensions of stabilized colloidal particles squeezed between glass plates. By expanding the thermodynamic potential about a flat state of $N$ confined colloidal particles, we derive a free energy as a functional of in-plane and out-of-plane displacements. The wavevectors of these first buckling instabilities correspond to three different ordered structures. Landau theory predicts that the symmetry of these phases allows for second order phase transitions. This possibility exists even in the presence of gravity or plate asymmetry. These transitions lead to critical behavior and phases with the symmetry of the three-state and four-state Potts models, the X-Y model with 6-fold anisotropy, and the Heisenberg model with cubic interactions. Experimental detection of these structures is discussed.Comment: 24 pages, 8 figures on request. EF508

On Automated Lemma Generation for Separation Logic with Inductive Definitions

Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the inductive definitions. We propose a novel approach for generating these lemmas automatically which is based on simple syntactic criteria and deterministic strategies for applying them. Our approach focuses on iterative programs, although it can be applied to recursive programs as well, and specifications that describe not only the shape of the data structures, but also their content or their size. Empirically, we find that our approach is powerful enough to deal with sophisticated benchmarks, e.g., iterative procedures for searching, inserting, or deleting elements in sorted lists, binary search tress, red-black trees, and AVL trees, in a very efficient way

Incidence of mesothelioma in Lombardy, Italy: exposure to asbestos, time patterns and future projections

Objectives In Italy, asbestos has been extensively used from 1945 to 1992. We evaluated the impact of exposure to asbestos on occurrence of malignant mesothelioma (MM) in the Lombardy Region, Northwest Italy, the most populated and industrialised Italian region. Methods From the Lombardy Mesothelioma Registry, we selected all incident cases of MM diagnosed between 2000 and 2012. We described sources of exposure to asbestos and examined time trends of MM rates. Using Poisson age-cohort models, we derived projections of burden of MM in the Lombardy population for the period 2013-2029. Results In 2000-2012, we recorded 4442 cases of MM (2850 men, 1592 women). Occupational exposure to asbestos was more frequent in men (73.6%) than in women (38.2%). Non-occupational exposure was found for 13.6% of women and 3.6% of men. The average number of cases of MM per year was still increasing (+3.6% in men, +3.3% in women). Incidence rates were still increasing in individuals aged 65+ years and declining in younger people. A maximum of 417 cases of MM (267 men, 150 women) are expected in 2019. We forecast there will be 6832 more cases (4397 in men, 2435 in women) in the period 2013-2029, for a total of 11274 cases of MM (7247 in men, 4027 in women) in 30years. Conclusions This study documented a high burden of MM in both genders in the Lombardy Region, reflecting extensive occupational (mainly in men) and non-occupational (mainly in women) exposure to asbestos in the past. Incidence rates are still increasing; a downturn in occurrence of MM is expected to occur after 2019